(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 8.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[     29490,        932]
NotebookOptionsPosition[     25590,        790]
NotebookOutlinePosition[     26199,        812]
CellTagsIndexPosition[     26156,        809]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell[TextData[{
 StyleBox["\n",
  FontSize->12],
 StyleBox["Mathematica",
  FontSize->14,
  FontSlant->"Italic"],
 StyleBox[" notebook with the calculations for",
  FontSize->14],
 "\n",
 StyleBox["A Case Where Barro Expectations Are Not Rational",
  FontSize->14],
 "\n",
 StyleBox["by Ekkehart Schlicht",
  FontSize->14]
}], "Subsubtitle",
 CellFrame->{{0, 0}, {3, 0}},
 CellChangeTimes->{{3.5355487088990583`*^9, 3.5355487652882833`*^9}, {
  3.5355488758016043`*^9, 3.5355488920395336`*^9}, {3.5355490015577974`*^9, 
  3.535549004506966*^9}, {3.5356115363553514`*^9, 3.5356115854031568`*^9}}],

Cell["\<\

Note : all calculations are elementary and can be done by hand.  I have added \
the calculations done in Mathematica for making it easier to check the reults.\
\>", "Text",
 CellChangeTimes->{{3.53770676052942*^9, 3.537706941021743*^9}, {
  3.5377069725475464`*^9, 3.53770701317787*^9}, {3.5377829103477526`*^9, 
  3.5377829235921755`*^9}}],

Cell[CellGroupData[{

Cell["\<\
Income Y and government expenditure G (Eqs. 2 and 3)\
\>", "Subsection",
 CellChangeTimes->{{3.535441686934151*^9, 3.5354417165418444`*^9}, {
   3.535448558918206*^9, 3.535448614672395*^9}, 3.5354561161434546`*^9, {
   3.535561412420658*^9, 3.5355614247713647`*^9}, {3.535561466672761*^9, 
   3.535561484576785*^9}, {3.5356123943284245`*^9, 3.5356124141215568`*^9}, 
   3.537769854524026*^9}],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"Y", "[", "t_", "]"}], ":=", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"1", "+", "g"}], ")"}], "t"], "  ", 
    SubscriptBox["Y", "0"]}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"G", "[", "t_", "]"}], ":=", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"1", "+", "g"}], ")"}], "t"], "  ", 
    SubscriptBox["G", "0"]}]}], ";"}]}], "Input",
 CellChangeTimes->{{3.5354486197976885`*^9, 3.5354486335614758`*^9}, 
   3.535561431738763*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell["Government debt (Eqs. 5 to 7)", "Subsection",
 CellChangeTimes->{{3.5355491228597355`*^9, 3.5355491320602617`*^9}, {
   3.5355615361687365`*^9, 3.5355615422800856`*^9}, {3.5355616062677455`*^9, 
   3.5355616094569283`*^9}, {3.535612421939004*^9, 3.5356124235520964`*^9}, 
   3.535613032059901*^9, {3.5360576603239555`*^9, 3.536057675244809*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"d", "[", "t_", "]"}], ":=", 
  FractionBox[
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"1", "+", "g"}], ")"}], "t"]}], ")"}], " ", "\[Alpha]", " ", 
    SubscriptBox["G", "0"]}], "g"]}]], "Input",
 CellChangeTimes->{{3.535452340351492*^9, 3.5354524040611353`*^9}, {
   3.5354525100731993`*^9, 3.5354525141044297`*^9}, {3.536057361937889*^9, 
   3.536057548023532*^9}, 3.5360575846846294`*^9, 3.5369914393308372`*^9, 
   3.536991506925704*^9, 3.5369915632289243`*^9}],

Cell["\<\
Note: The command expression1 == expression2 returns True if exporession1 and \
expression2 are mathematically the same.\
\>", "Text",
 CellChangeTimes->{{3.53770676052942*^9, 3.537706941021743*^9}, {
  3.5377069725475464`*^9, 3.53770701317787*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"d", "[", "0", "]"}], "\[Equal]", "0"}]], "Input",
 CellChangeTimes->{{3.536991445927215*^9, 3.5369914505364785`*^9}, {
  3.5369915133370705`*^9, 3.5369915152721815`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.537857173846345*^9, 3.538115686012085*^9}]
}, Open  ]],

Cell["\<\
Note: The command Simplify[expression1 == expression2] gives True if \
expression1 and expression2 are mathematically equivalent.\
\>", "Text",
 CellChangeTimes->{{3.53770676052942*^9, 3.537706941021743*^9}, {
   3.5377070154219985`*^9, 3.537707017114095*^9}, {3.537708490640376*^9, 
   3.53770849315152*^9}, 3.5377829664922514`*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{"d", "[", 
    RowBox[{"t", "+", "1"}], "]"}], "\[Equal]", 
   RowBox[{
    RowBox[{"d", "[", "t", "]"}], "+", 
    RowBox[{"\[Alpha]", " ", 
     RowBox[{"G", "[", "t", "]"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.53699148796762*^9, 3.5369914958970733`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.5378571739253497`*^9, 3.5381156860920897`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Asymptotic ratio of debt to government expenditure \
(Eq.8)", "Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5355218397052283`*^9, 3.5355218531749988`*^9}, {
   3.53552302021975*^9, 3.53552302860423*^9}, {3.535561693008707*^9, 
   3.535561701368185*^9}, {3.5356124311335297`*^9, 3.535612432929633*^9}, 
   3.536057701417306*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"d", "[", "t", "]"}], 
    RowBox[{"G", "[", "t", "]"}]], ",", 
   RowBox[{"t", "\[Rule]", "\[Infinity]"}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "0"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.5355216755578394`*^9, 3.535521678819026*^9}, 
   3.535521875191258*^9, {3.535521906245034*^9, 3.535521912851412*^9}, {
   3.5355484541724887`*^9, 3.5355484686643176`*^9}, 3.537857010175984*^9}],

Cell[BoxData[
 FractionBox["\[Alpha]", "g"]], "Output",
 CellChangeTimes->{3.537857173989353*^9, 3.538115686435109*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Asymptotic ratio of debt to production (Eq. 8)", \
"Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5355213190934515`*^9, 3.535521332091194*^9}, {
  3.5355230062069483`*^9, 3.535523012165289*^9}, {3.5355617072955236`*^9, 
  3.535561713610885*^9}, {3.535612436275824*^9, 3.5356124485945287`*^9}, {
  3.5360577362723*^9, 3.5360577390964613`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"d", "[", "t", "]"}], 
    RowBox[{"Y", "[", "t", "]"}]], ",", 
   RowBox[{"t", "\[Rule]", "\[Infinity]"}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "0"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.5355214292307506`*^9, 3.535521434031025*^9}, {
   3.5355215533458495`*^9, 3.5355215871487827`*^9}, {3.5355217599666677`*^9, 
   3.535521816516902*^9}, 3.535521895651428*^9, 3.5355484836341743`*^9, 
   3.537857014909254*^9}],

Cell[BoxData[
 FractionBox[
  RowBox[{"\[Alpha]", " ", 
   SubscriptBox["G", "0"]}], 
  RowBox[{"g", " ", 
   SubscriptBox["Y", "0"]}]]], "Output",
 CellChangeTimes->{3.5378571740463567`*^9, 3.538115686499113*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Share of interest on government debt in the \
government budget (Eqs. 9 and 10)", "Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5355218397052283`*^9, 3.5355218531749988`*^9}, {
   3.53552302021975*^9, 3.53552302860423*^9}, {3.535561693008707*^9, 
   3.535561701368185*^9}, {3.5356124311335297`*^9, 3.535612432929633*^9}, 
   3.536057701417306*^9, {3.5370677763150635`*^9, 3.5370677820103893`*^9}, {
   3.537704774479824*^9, 3.537704775673892*^9}, {3.537707102746993*^9, 
   3.537707178203309*^9}, {3.537708475400504*^9, 3.53770847567552*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"i", " ", 
     RowBox[{"d", "[", "t", "]"}]}], 
    RowBox[{
     RowBox[{"G", "[", "t", "]"}], "+", 
     RowBox[{"i", " ", 
      RowBox[{"d", "[", "t", "]"}]}]}]], "==", 
   FractionBox[
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"1", "+", "g"}], ")"}], "t"], "-", "1"}], ")"}], " ", "i", 
     " ", "\[Alpha]"}], 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"1", "+", "g"}], ")"}], "t"], " ", "g"}], "+", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"1", "+", "g"}], ")"}], "t"], "-", "1"}], ")"}], " ", "i", 
      " ", "\[Alpha]"}]}]]}], "]"}]], "Input",
 CellChangeTimes->{{3.537704838542488*^9, 3.537704844941854*^9}, {
   3.537705562658905*^9, 3.537705645178625*^9}, {3.5377056910642495`*^9, 
   3.537705703625968*^9}, 3.5377067288206058`*^9}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.537857174126361*^9, 3.538115686570117*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Asymptotic share of interest on debt in the \
government budget (Eq. 11)", "Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5355218397052283`*^9, 3.5355218531749988`*^9}, {
   3.53552302021975*^9, 3.53552302860423*^9}, {3.535561693008707*^9, 
   3.535561701368185*^9}, {3.5356124311335297`*^9, 3.535612432929633*^9}, 
   3.536057701417306*^9, {3.5370677763150635`*^9, 3.5370677820103893`*^9}, {
   3.537704774479824*^9, 3.537704775673892*^9}, {3.537707153366888*^9, 
   3.5377071912670565`*^9}, {3.537708482907934*^9, 3.537708483166949*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"i", " ", 
     RowBox[{"d", "[", "t", "]"}]}], 
    RowBox[{
     RowBox[{"G", "[", "t", "]"}], "+", 
     RowBox[{"i", " ", 
      RowBox[{"d", "[", "t", "]"}]}]}]], ",", 
   RowBox[{"t", "\[Rule]", "\[Infinity]"}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "0"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.5355216755578394`*^9, 3.535521678819026*^9}, 
   3.535521875191258*^9, {3.535521906245034*^9, 3.535521912851412*^9}, {
   3.5355484541724887`*^9, 3.5355484686643176`*^9}, {3.5370677894188128`*^9, 
   3.5370677981873145`*^9}, 3.537067831341211*^9, {3.5377047923518457`*^9, 
   3.53770479608206*^9}, 3.537857034422371*^9}],

Cell[BoxData[
 FractionBox[
  RowBox[{"i", " ", "\[Alpha]"}], 
  RowBox[{"g", "+", 
   RowBox[{"i", " ", "\[Alpha]"}]}]]], "Output",
 CellChangeTimes->{3.5378571744653807`*^9, 3.538115687231155*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Numerical example after Eq. 11", "Subsection"]], \
"Subsubsection",
 CellChangeTimes->{{3.5355218397052283`*^9, 3.5355218531749988`*^9}, {
   3.53552302021975*^9, 3.53552302860423*^9}, {3.535561693008707*^9, 
   3.535561701368185*^9}, {3.5356124311335297`*^9, 3.535612432929633*^9}, 
   3.536057701417306*^9, {3.5370677763150635`*^9, 3.5370677820103893`*^9}, {
   3.537704774479824*^9, 3.537704775673892*^9}, {3.537707153366888*^9, 
   3.5377071912670565`*^9}, {3.537707227797146*^9, 3.537707238808776*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    FractionBox[
     RowBox[{"i", " ", "\[Alpha]"}], 
     RowBox[{"g", "+", 
      RowBox[{"i", " ", "\[Alpha]"}]}]], " ", "/.", 
    RowBox[{"g", "\[Rule]", "0.02"}]}], "/.", 
   RowBox[{"i", "\[Rule]", "0.04"}]}], "/.", 
  RowBox[{"\[Alpha]", "\[Rule]", "0.10"}]}]], "Input",
 CellChangeTimes->{{3.5377064444973435`*^9, 3.537706514527349*^9}}],

Cell[BoxData["0.16666666666666666`"], "Output",
 CellChangeTimes->{3.5378571745223837`*^9, 3.5381156873851633`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Present value of goverment debt (Eq. 12)", \
"Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5354602447585983`*^9, 3.5354602616555643`*^9}, {
   3.535549165270161*^9, 3.5355491662902193`*^9}, {3.5355617403814163`*^9, 
   3.535561751898075*^9}, {3.535612450942663*^9, 3.5356124520917287`*^9}, 
   3.5360577686661525`*^9, 3.536058107538535*^9, {3.5377072872335453`*^9, 
   3.53770728749556*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       FractionBox["1", 
        RowBox[{"1", "+", "i"}]], ")"}], "t"], 
     RowBox[{"d", "[", "t", "]"}]}], "==", 
    RowBox[{
     FractionBox["\[Alpha]", "g"], 
     FractionBox[
      RowBox[{
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"1", "+", "g"}], ")"}], "t"], "-", "1"}], 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"1", "+", "i"}], ")"}], "t"]], 
     SubscriptBox["G", "0"]}]}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "g"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.5354366084876804`*^9, 3.535436703565119*^9}, 
   3.5360577686681523`*^9, {3.5377701074159894`*^9, 3.537770112688799*^9}, {
   3.537770149738864*^9, 3.5377703516188183`*^9}, {3.5377706540138283`*^9, 
   3.537770658818637*^9}, {3.5377707582190285`*^9, 3.537770806360713*^9}, {
   3.537770837888368*^9, 3.5377708545803976`*^9}, {3.537770893564866*^9, 
   3.5377709466049595`*^9}, {3.537771033497112*^9, 3.5377710340275126`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.5378571746723924`*^9, 3.5381156874651685`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      FractionBox["1", 
       RowBox[{"1", "+", "i"}]], ")"}], "t"], 
    RowBox[{"d", "[", "t", "]"}]}], ",", 
   RowBox[{"t", "\[Rule]", "\[Infinity]"}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "g"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.5377703818672714`*^9, 3.537770444236181*^9}, {
  3.537857065795165*^9, 3.537857075598726*^9}}],

Cell[BoxData["0"], "Output",
 CellChangeTimes->{3.5378571747373962`*^9, 3.538115687997199*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Taxes (Eq. 14)", "Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5355229207470603`*^9, 3.5355229220231333`*^9}, {
   3.5356116251734314`*^9, 3.5356116311357727`*^9}, {3.5356116766603765`*^9, 
   3.535611679607545*^9}, {3.536058138303294*^9, 3.536058138541308*^9}, 
   3.537707370766323*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"T", "[", "t_", "]"}], ":=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{"1", "-", "\[Alpha]"}], ")"}], 
    RowBox[{"G", "[", "t", "]"}]}], "+", 
   RowBox[{"i", " ", 
    RowBox[{"d", "[", "t", "]"}]}]}]}]], "Input",
 CellChangeTimes->{{3.5354385095574155`*^9, 3.535438573748087*^9}, {
  3.535452978206975*^9, 3.5354529825512238`*^9}, {3.535459917314869*^9, 
  3.535459919707006*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Asymptotic ratio of taxes to income (Eq. 15)", \
"Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.535522971859984*^9, 3.5355229810745106`*^9}, {
   3.535523044658148*^9, 3.5355230653383303`*^9}, 3.535594798483919*^9, {
   3.5356117222949867`*^9, 3.5356117292693853`*^9}, 3.5360581973026686`*^9, 
   3.5378561993016043`*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"T", "[", "t", "]"}], 
    RowBox[{"Y", "[", "t", "]"}]], ",", 
   RowBox[{"t", "\[Rule]", "\[Infinity]"}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "0"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{
  3.535523079447138*^9, {3.5355232111466703`*^9, 3.535523237728191*^9}, 
   3.5355485268636465`*^9, {3.537852258412198*^9, 3.5378522639825172`*^9}, 
   3.5378523972521396`*^9, 3.5378562666534567`*^9}],

Cell[BoxData[
 RowBox[{"-", 
  FractionBox[
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"g", " ", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", "1"}], "+", "\[Alpha]"}], ")"}]}], "-", 
      RowBox[{"i", " ", "\[Alpha]"}]}], ")"}], " ", 
    SubscriptBox["G", "0"]}], 
   RowBox[{"g", " ", 
    SubscriptBox["Y", "0"]}]]}]], "Output",
 CellChangeTimes->{3.5378571751634207`*^9, 3.538115688405222*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{"-", 
    FractionBox[
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"g", " ", 
         RowBox[{"(", 
          RowBox[{
           RowBox[{"-", "1"}], "+", "\[Alpha]"}], ")"}]}], "-", 
        RowBox[{"i", " ", "\[Alpha]"}]}], ")"}], " ", 
      SubscriptBox["G", "0"]}], 
     RowBox[{"g", " ", 
      SubscriptBox["Y", "0"]}]]}], "\[Equal]", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"1", "+", 
      FractionBox[
       RowBox[{
        RowBox[{"(", 
         RowBox[{"i", "-", "g"}], ")"}], " ", "\[Alpha]", " "}], 
       RowBox[{"g", " "}]]}], ")"}], 
    FractionBox[
     SubscriptBox["G", "0"], 
     SubscriptBox["Y", "0"]]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.5355239594784727`*^9, 3.5355240146566286`*^9}, 
   3.5377073978858743`*^9, {3.5378524339292374`*^9, 3.537852496789833*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.537857175223424*^9, 3.5381156885422297`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Tax increase from pay-as-you-go to debt regime minus \
interest payments necessary under the debt regime (Eq. 16)", "Subsection"]], \
"Subsubsection",
 CellChangeTimes->{{3.535522971859984*^9, 3.5355229810745106`*^9}, {
   3.535523044658148*^9, 3.5355230653383303`*^9}, 3.535594798483919*^9, {
   3.5356117222949867`*^9, 3.5356117292693853`*^9}, 3.5360581973026686`*^9, {
   3.537853336873883*^9, 3.5378533600152063`*^9}, {3.537854524057786*^9, 
   3.537854583488185*^9}, {3.5378562213368645`*^9, 3.5378562221369104`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   RowBox[{
    FractionBox[
     RowBox[{
      RowBox[{"T", "[", "t", "]"}], "-", 
      RowBox[{"G", "[", "t", "]"}]}], 
     RowBox[{"Y", "[", "t", "]"}]], "-", 
    FractionBox[
     RowBox[{"i", " ", 
      RowBox[{"D", "[", "t", "]"}]}], 
     RowBox[{"Y", "[", "t", "]"}]]}], ",", 
   RowBox[{"t", "\[Rule]", "\[Infinity]"}], ",", 
   RowBox[{"Assumptions", "\[Rule]", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"i", ">", "0"}], ")"}], "&&", 
     RowBox[{"(", 
      RowBox[{"g", ">", "0"}], ")"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{
  3.537853397525352*^9, {3.5378543639496284`*^9, 3.5378544067960787`*^9}, 
   3.537856246720317*^9}],

Cell[BoxData[
 RowBox[{"-", 
  FractionBox[
   RowBox[{
    RowBox[{"(", 
     RowBox[{"g", "-", "i"}], ")"}], " ", "\[Alpha]", " ", 
    SubscriptBox["G", "0"]}], 
   RowBox[{"g", " ", 
    SubscriptBox["Y", "0"]}]]}]], "Output",
 CellChangeTimes->{3.537857176151477*^9, 3.5381156937125254`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{"-", 
    FractionBox[
     RowBox[{
      RowBox[{"(", 
       RowBox[{"g", "-", "i"}], ")"}], " ", "\[Alpha]", " ", 
      SubscriptBox["G", "0"]}], 
     RowBox[{"g", " ", 
      SubscriptBox["Y", "0"]}]]}], "\[Equal]", 
   RowBox[{
    FractionBox[
     RowBox[{
      RowBox[{"(", 
       RowBox[{"i", "-", "g"}], ")"}], " "}], 
     RowBox[{"g", " "}]], 
    FractionBox[
     RowBox[{"\[Alpha]", " ", 
      SubscriptBox["G", "0"]}], 
     SubscriptBox["Y", "0"]]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.537853424450892*^9, 3.5378534687324247`*^9}, {
  3.5378544436761885`*^9, 3.5378544633973165`*^9}, {3.537854892964886*^9, 
  3.5378549073907113`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.537857176235482*^9, 3.538115695055602*^9}]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["\<\
Household wealth with balanced budget (Eq. 17)\
\>", "Subsection",
 CellChangeTimes->{{3.5355490782921867`*^9, 3.5355490897978444`*^9}, {
   3.535561518786742*^9, 3.535561528682308*^9}, {3.535612418058782*^9, 
   3.535612419702876*^9}, 3.53605828561172*^9, 3.5377074363570747`*^9, 
   3.5378563103779573`*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"W", "=", 
  RowBox[{"Simplify", "[", 
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"t", "=", "0"}], "\[Infinity]"], 
    RowBox[{"(", 
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        FractionBox["1", 
         RowBox[{"1", "+", "i"}]], ")"}], "t"], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"Y", "[", "t", "]"}], "-", 
        RowBox[{"G", "[", "t", "]"}]}], ")"}]}], ")"}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.535441721423124*^9, 3.535441734942897*^9}, {
  3.535448361864935*^9, 3.5354484585514655`*^9}}],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{"1", "+", "i"}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     SubscriptBox["G", "0"], "-", 
     SubscriptBox["Y", "0"]}], ")"}]}], 
  RowBox[{"g", "-", "i"}]]], "Output",
 CellChangeTimes->{3.537857176296485*^9, 3.538115701991999*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Disposable income (Eqs. 18 and 19)", "Subsection"]], \
"Subsubsection",
 CellChangeTimes->{{3.535460391166972*^9, 3.535460396800294*^9}, {
  3.5356118270219765`*^9, 3.5356118560466366`*^9}, {3.5360583205697193`*^9, 
  3.5360583245069447`*^9}, {3.537707455611176*^9, 3.537707458941366*^9}, {
  3.5378563349583635`*^9, 3.537856338855586*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Z", "[", "t_", "]"}], ":=", 
  RowBox[{
   RowBox[{"Y", "[", "t", "]"}], "-", 
   RowBox[{"T", "[", "t", "]"}], "+", 
   RowBox[{"i", "  ", 
    RowBox[{"d", "[", "t", "]"}]}]}]}]], "Input",
 CellChangeTimes->{{3.5354604124281883`*^9, 3.535460469721465*^9}, {
  3.535473869410884*^9, 3.535473925842111*^9}, {3.5355070606850834`*^9, 
  3.535507073898307*^9}, {3.535524561268893*^9, 3.5355245777158337`*^9}, {
  3.5355252808830523`*^9, 3.5355252970769787`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Z", "[", "t", "]"}]], "Input",
 CellChangeTimes->{{3.53552527087848*^9, 3.5355252736106367`*^9}, 
   3.535525305786477*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"1", "+", "g"}], ")"}], "t"]}], " ", 
   RowBox[{"(", 
    RowBox[{"1", "-", "\[Alpha]"}], ")"}], " ", 
   SubscriptBox["G", "0"]}], "+", 
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"1", "+", "g"}], ")"}], "t"], " ", 
   SubscriptBox["Y", "0"]}]}]], "Output",
 CellChangeTimes->{3.53785717637649*^9, 3.5381157021270065`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Present value of disposable income (Eq. 20)", \
"Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.535525207675865*^9, 3.5355252165643735`*^9}, {
   3.5356118797659936`*^9, 3.535611885897344*^9}, 3.536058378209016*^9, 
   3.5377074982836165`*^9, {3.5378564434275675`*^9, 3.5378564441396084`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Q", "=", 
  RowBox[{"Simplify", "[", 
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"t", "=", "0"}], "\[Infinity]"], 
    RowBox[{"(", 
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        FractionBox["1", 
         RowBox[{"1", "+", "i"}]], ")"}], "t"], 
      RowBox[{"(", 
       RowBox[{"Z", "[", "t", "]"}], ")"}]}], ")"}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.5354389498185973`*^9, 3.535438970207763*^9}, {
   3.535439026534985*^9, 3.535439056431695*^9}, {3.5354527722811966`*^9, 
   3.535452803737996*^9}, {3.5354598432976356`*^9, 3.535459845944787*^9}, {
   3.5354598796187134`*^9, 3.535459886135086*^9}, {3.535474009290884*^9, 
   3.535474045672965*^9}, 3.5355252279830265`*^9}],

Cell[BoxData[
 RowBox[{"-", 
  FractionBox[
   RowBox[{
    RowBox[{"(", 
     RowBox[{"1", "+", "i"}], ")"}], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", "1"}], "+", "\[Alpha]"}], ")"}], " ", 
       SubscriptBox["G", "0"]}], "+", 
      SubscriptBox["Y", "0"]}], ")"}]}], 
   RowBox[{"g", "-", "i"}]]}]], "Output",
 CellChangeTimes->{3.5378571764564943`*^9, 3.5381157090964055`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Difference of present values (Eq. 21)", \
"Subsection"]], "Subsubsection",
 CellChangeTimes->{{3.5355256161662292`*^9, 3.5355256237166615`*^9}, {
   3.535611961038642*^9, 3.5356119715182414`*^9}, {3.5356120865228195`*^9, 
   3.53561212046076*^9}, 3.5360584095898113`*^9, {3.5377075073001328`*^9, 
   3.537707508051175*^9}, 3.5378564911242957`*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", 
  RowBox[{"Simplify", "[", 
   RowBox[{"Q", "-", "W"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.53550715570485*^9, 3.5355071613832607`*^9}, {
  3.5355132692111855`*^9, 3.5355132875262327`*^9}}],

Cell[BoxData[
 RowBox[{"-", 
  FractionBox[
   RowBox[{
    RowBox[{"(", 
     RowBox[{"1", "+", "i"}], ")"}], " ", "\[Alpha]", " ", 
    SubscriptBox["G", "0"]}], 
   RowBox[{"g", "-", "i"}]]}]], "Output",
 CellChangeTimes->{3.537857176517498*^9, 3.538115722379165*^9}]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{986, 761},
WindowMargins->{{81, Automatic}, {Automatic, 0}},
PrintingCopies->1,
PrintingPageRange->{32000, 32000},
PrintingOptions->{"Magnification"->1.,
"PaperOrientation"->"Portrait",
"PaperSize"->{595.1999999999999, 841.98}},
Magnification:>FEPrivate`If[
  FEPrivate`Equal[FEPrivate`$VersionNumber, 6.], 1.5, 1.5 Inherited],
FrontEndVersion->"8.0 for Microsoft Windows (64-bit) (October 6, 2011)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[579, 22, 595, 18, 129, "Subsubtitle"],
Cell[1177, 42, 351, 7, 90, "Text"],
Cell[CellGroupData[{
Cell[1553, 53, 402, 7, 54, "Subsection"],
Cell[1958, 62, 551, 18, 71, "Input"]
}, Open  ]],
Cell[CellGroupData[{
Cell[2546, 85, 351, 4, 54, "Subsection"],
Cell[2900, 91, 593, 15, 78, "Input"],
Cell[3496, 108, 259, 5, 66, "Text"],
Cell[CellGroupData[{
Cell[3780, 117, 205, 4, 43, "Input"],
Cell[3988, 123, 95, 1, 42, "Output"]
}, Open  ]],
Cell[4098, 127, 343, 6, 66, "Text"],
Cell[CellGroupData[{
Cell[4466, 137, 329, 9, 43, "Input"],
Cell[4798, 148, 99, 1, 42, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[4934, 154, 360, 5, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[5319, 163, 601, 15, 72, "Input"],
Cell[5923, 180, 119, 2, 62, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6091, 188, 374, 5, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[6490, 197, 631, 16, 72, "Input"],
Cell[7124, 215, 213, 6, 64, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[7386, 227, 575, 7, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[7986, 238, 1012, 32, 82, "Input"],
Cell[9001, 272, 95, 1, 42, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[9145, 279, 571, 7, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[9741, 290, 838, 21, 72, "Input"],
Cell[10582, 313, 198, 5, 66, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[10829, 324, 531, 7, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[11385, 335, 394, 11, 72, "Input"],
Cell[11782, 348, 115, 1, 42, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[11946, 355, 424, 6, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[12395, 365, 1194, 32, 76, "Input"],
Cell[13592, 399, 99, 1, 42, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13728, 405, 574, 17, 70, "Input"],
Cell[14305, 424, 94, 1, 42, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[14448, 431, 321, 4, 42, "Subsubsection"],
Cell[14772, 437, 431, 12, 43, "Input"]
}, Open  ]],
Cell[CellGroupData[{
Cell[15240, 454, 353, 5, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[15618, 463, 606, 16, 72, "Input"],
Cell[16227, 481, 429, 14, 66, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16693, 500, 888, 28, 73, "Input"],
Cell[17584, 530, 97, 1, 42, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[17730, 537, 546, 7, 68, "Subsubsection"],
Cell[CellGroupData[{
Cell[18301, 548, 704, 22, 72, "Input"],
Cell[19008, 572, 296, 9, 66, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19341, 586, 727, 23, 72, "Input"],
Cell[20071, 611, 95, 1, 42, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[20227, 619, 319, 6, 54, "Subsection"],
Cell[CellGroupData[{
Cell[20571, 629, 583, 17, 78, "Input"],
Cell[21157, 648, 306, 10, 66, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21500, 663, 364, 5, 42, "Subsubsection"],
Cell[21867, 670, 494, 11, 43, "Input"],
Cell[CellGroupData[{
Cell[22386, 685, 147, 3, 43, "Input"],
Cell[22536, 690, 447, 15, 44, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[23032, 711, 324, 4, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[23381, 719, 742, 18, 78, "Input"],
Cell[24126, 739, 453, 15, 66, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[24628, 760, 371, 5, 42, "Subsubsection"],
Cell[CellGroupData[{
Cell[25024, 769, 241, 5, 71, "Input"],
Cell[25268, 776, 270, 8, 66, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}
]
*)

(* End of internal cache information *)
